VDict mobile



hereditary Harrop formulas not found. Suggestions:

Lolli
Lambda Prolog
first-order logic
skolemisation
connective
SCL
VisiCalc /vi'zi-calk/
meme
canonical